Nuprl Definition : atomic 2,24

atomic(a) == a = 0 & (a ~ 1) & reducible(a
latex



clarification:

atomic(a) == a = 0   & (a ~ 1) & reducible(a
latex


DefinitionsP & Q, a ~ b, A, reducible(a)
FDL editor aliasesatomic

origin